Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
661	Request For Quotation - Supply of General Services RFQ Formal Instrument of Agreement General Services Template guide notes (Version 1.1 – January 2014) Add to Reading List Source URL: 147.109.254.181 Language: English - Date: 2015-03-15 18:02:27 Supply chain management Systems engineering Request for quotation Purchasing Specification Purchasing process Request for proposal Business Procurement Technology
662	Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-07-28 22:03:39 Evaluation Trusted computing base Microkernel L4 microkernel family Real-time operating systems Gernot Heiser Formal verification Isabelle Formal methods Computer security Computer architecture Computing
663	seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-09-23 22:58:53 Gernot Heiser L4 microkernel family Formal verification Real-time operating systems Kernel Computer security Integrity Mach Ring Computer architecture Trusted computing base Microkernel
664	Engineering the Tokeneer Enclave Protection Software Janet Barnes, Rod Chapman: Altran Randy Johnson, James Widmaier: National Security Agency David Cooper: River River Limited Add to Reading List Source URL: www.adacore.com Language: English - Date: 2014-01-21 09:38:38 Software engineering Formal methods Evaluation Ada programming language SPARK Reliability engineering Evaluation Assurance Level Functional specification Common Criteria Software development Computing Systems engineering
665	Guidance note N[removed]GN0165 Revision 4 December 2012 Risk Assessment Core concepts • The operator of an offshore facility must conduct a detailed and systematic formal safety assessment, Add to Reading List Source URL: www.nopsema.gov.au Language: English - Date: 2013-02-06 23:58:05 Safety engineering Risk management Occupational safety and health Job safety analysis Hazard analysis Risk assessment ALARP Safety Management Systems National Offshore Petroleum Safety and Environmental Management Authority Risk Safety Security
666	Quick guide: Implementing an Add to Reading List Source URL: www.business.gov.au Language: English - Date: 2014-11-26 22:46:56 Formal methods IBM Rational Unified Process Software project management Software development process Information systems Data security Dynamic systems development method Certified Information Technology Professional Software development Information technology management Business
667	SoftMetaWare - brochure omg.doc Add to Reading List Source URL: www.omg.org Language: English - Date: 2013-12-16 17:26:09 Software Software project management Software design Model-driven architecture Formal methods Model-driven engineering Product family engineering Software factory Domain analysis Systems engineering Unified Modeling Language Software development
668	ROSATTE D5.2 - Test and validation plan Add to Reading List Source URL: tn-its.eu Language: English - Date: 2014-05-27 16:58:15 Validity Science Formal methods Evaluation Systems science Validation Verification and validation Test plan Software development process Software testing Systems engineering Pharmaceutical industry
669	Burgess on Plural Logic and Set Theory Øystein Linnebo University of Bristol September[removed]Abstract Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:56:47 Model theory Set theory Predicate logic Z notation Formal systems First-order logic Reflection principle Interpretation Constructible universe Mathematical logic Logic Mathematics
670	Political Systems Topic Guide About this topic guide Political systems are the formal and informal political processes by which decisions are made concerning the use, Add to Reading List Source URL: www.gsdrc.org Language: English - Date: 2015-01-08 11:51:13 Politics E-democracy Democracy promotion Liberal democracy Democratization Deliberative democracy Illiberal democracy Varieties of democracy Participatory democracy Democracy Political philosophy Sociology

UPDATE